00100	McCarthy, J. and Hayes, P. (1969) Some Philosophical Problems from
00200	the Standpoint of Artificial Intelligence. Machine Intelligence 4,
00300	pp. 463-502 (eds Meltzer, B. and Michie, D.). Edinburgh: Edinburgh
00400	University Press.
00500	
00600	Sandewall, E. (1970a) Formal Methods in the Design of Question-
00700	Answering Systems. Uppsala University, Department of Computer Sciences,
00800	Report Nr 28, October 1970.